Algebra Universalis Automorphism-primal algebras generate verbose varieties
نویسندگان
چکیده
A finite algebra is called automorphism-primal if its clone of term operations coincides with all operations that preserve its automorphisms. We prove that the variety generated by an automorphism-primal algebra is verbose, that is, on every member algebra, every fully invariant congruence is verbal. The proof is a nice application of the theory of natural dualities as developed by Davey et al.
منابع مشابه
Automorphism-primal algebras generate verbose varieties
A finite algebra is called automorphism-primal if its clone of term operations coincides with all operations that preserve its automorphisms. We prove that the variety generated by an automorphism-primal algebra is verbose, that is, on every member algebra, every fully invariant congruence is verbal. In [2] we discussed the notions of verbal and fully invariant congruences and examined the rela...
متن کاملMorita Equivalence of Almost-primal Clones
Two algebraic structures A and B are called categorically equivalent if there is a functor from the variety generated by A to the variety generated by B, carrying A to B, that is an equivalence of the varieties when viewed as categories. We characterize those algebras categorically equivalent to A when A is an algebra whose set of term operations is as large as possible subject to constraints p...
متن کاملHu’s Primal Algebra Theorem revisited
It is shown how Lawvere’s one-to-one translation between Birkhoff’s description of varieties and the categorical one (see [6]) turns Hu’s theorem on varieties generated by a primal algebra (see [4], [5]) into a simple reformulation of the classical representation theorem of finite Boolean algebras as powerset algebras.
متن کاملNatural dualities for varieties generated by a set of subalgebras of a semi-primal algebra
The main contribution of this paper is the construction of a strong duality for the varieties generated by a set of subalgebras of a semi-primal algebra. We also obtain an axiomatization of the objects of the dual category and develop some algebraic consequences (description of the dual of the finite structures and algebras, construction of finitely generated free algebras,. . . ). Eventually, ...
متن کاملA K-Theoritic Approach to Some C*-Algebras
In this paper we look at the K-theory of a specific C*-algebra closely related to the irrational rotation algebra. Also it is shown that any automorphism of a C*-algebra A induces group automorphisms of K_{1}(A) amd K_{0}(A) in an obvious way. An interesting problem for any C*-algebra A is to find out whether, given an automorphism of K_{0}(A) and an automorphism of K_{1}(A), we can lift them t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015